Process theory - PDFSEARCH.IO - Document Search Engine

Process theory
Results: 2633

#	Item
651	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-08 11:00:15 Computer programming C programming language C++ Procedural programming languages Type theory Typedef Pointer Struct ALGOL 68 Computing Software engineering Data types
652	Reverse Iterative Deepening for Finite-Horizon MDPs with Large Branching Factors Andrey Kolobov? Peng Dai† ∗ Mausam? Daniel S. Weld? Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2013-08-13 03:53:46 Dynamic programming Systems theory Equations Operations research Stochastic control Markov decision process Reinforcement learning Bellman equation Automated planning and scheduling Statistics Mathematical optimization Control theory
653	Ninth International Conference on CFD in the Minerals and Process Industries CSIRO, Melbourne, AustraliaDecember 2012 MULTI-SCALE VOLUME OF FLUID MODELLING OF DROPLET COALESCENCE Lachlan R. MASON, Geoffrey W. STEV Add to Reading List Source URL: www.cfd.com.au Language: English - Date: 2012-11-15 19:35:53 Matter Fluid dynamics Lattice Boltzmann methods Volume of fluid method Wetting Rain Coalescent theory Viscosity Drop Computational fluid dynamics Soft matter Physics
654	Participatory market system analysis, Summary report Add to Reading List Source URL: www.saveact.org.za Language: English - Date: 2013-01-22 05:10:36 Business process Supply chain management Commodity Marxist theory Market analysis Supply chain Market Poultry farming Livestock Business Technology Management
655	A PROBABILISTIC POLYNOMIAL-TIME PROCESS CALCULUS FOR THE ANALYSIS OF CRYPTOGRAPHIC PROTOCOLS JOHN C. MITCHELL, AJITH RAMANATHAN, ANDRE SCEDROV, AND VANESSA TEAGUE Abstract. We prove properties of a process calculus that Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:35:24 Formal methods Computability theory Lambda calculus Polynomial Π-calculus IP Process calculus Function PP Theoretical computer science Mathematics Applied mathematics
656	WBS Guidelines - Financial Needs Assessment Water Benefit Standard The Gold Standard Water Benefit Standard Add to Reading List Source URL: www.goldstandard.org Language: English - Date: 2014-09-01 06:27:08 Science Costs Cost–benefit analysis Decision theory Public finance Needs assessment Net present value Sensitivity analysis Systems engineering process Management Investment Business
657	“PEOPLE PROCESS CULTURE ASSESSMENT” Add to Reading List Source URL: qmisolutions.com.au Language: English - Date: 2012-12-05 01:42:59 Sociology Science Organizational theory Facilitation Facilitator Benchmarking Consensus decision-making Team Leadership Meetings Management Strategic management
658	DRAFT A separation logic for the π -calculus Aaron Turon Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-07-20 15:14:47 Metalogic Models of computation Theoretical computer science Process calculi Denotational semantics Interpretation Π-calculus Entailment Structure Logic Mathematics Model theory
659	Multiperiod Corporate Default Prediction – A Forward Intensity Approach Jin-Chuan Duan, Jie Sun and Tao Wang∗ (First Version: July 14, 2010; This Version: August 21, Abstract Add to Reading List Source URL: www.willisresearchnetwork.com Language: English - Date: 2013-08-02 05:12:03 Poisson processes Categorical data Estimation theory Logistic regression Likelihood function Stochastic process Cox process Statistics Regression analysis Statistical models
660	J. R. Statist. Soc. B, Part 2, pp. 319–392 Approximate Bayesian inference for latent Gaussian models by using integrated nested Laplace approximations Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2011-12-21 15:18:36 Estimation theory Markov models Probability theory Variational Bayesian methods Mixture model Normal distribution Marginal likelihood Deviance information criterion Gaussian process Statistics Probability and statistics Bayesian statistics

UPDATE